Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
341	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
342	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
343	Ontology-Driven Information Extraction and Knowledge Acquisition from Heterogeneous, Distributed, Autonomous Biological Data Sources Vasant Honavar, Carson Andorf, Doina Caragea, Adrian Silvescu, Jaime Reinoso-Castillo, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2002-01-10 17:53:43 Formal sciences Data analysis Semantic Web Ontology Data mining Data visualization Biological database Machine learning Vasant Honavar Science Knowledge Bioinformatics
344	PDF Document Add to Reading List Source URL: www.burtchworks.com Language: English - Date: 2014-08-11 11:21:29 Computing Business intelligence Emerging technologies Analytics Mathematical finance Data analysis Big data Apache Hadoop Technology Science Formal sciences
345	SFEDL’04 Preliminary Version Semantics and Analysis of Instruction List Programs Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2004-02-19 22:18:10 Logic Metalogic Interpretation Structure Metaphilosophy Formal languages Model theory Mathematics
346	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
347	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: r.adu.org.za Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
348	NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation Sumit Gulwani Mark Marron Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-04 14:26:05 Spreadsheet Formal languages Microsoft Excel Algorithm Regular expression ALGOL 68 Dynamic programming Eval Formula Computing Software engineering Mathematics
349	Microsoft Word - Raskutti2013.docx Add to Reading List Source URL: www.statsoc.org.au Language: English - Date: 2014-03-27 20:56:36 Data analysis Formal sciences Data mining Text mining Predictive modelling Analytics Statistics Business intelligence Science
350	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.nic.cz Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE